Your location: List of Systems ⁄ Bergman ⁄ Commutative Packages:Bergman, commutative mode

Bergman:Bergman, commutative mode

System Name Bergman
Package Name Bergman, commutative mode
Link http://servus.math.su.se/bergman/
Modified by Jörgen Backelin
Email
incomplete information or not officially approved by the authors

Coefficient Domains
Rings as Coefficients Z
Z[x]
Other Rings
Floating Point Numbers (up to precision, if limited)
Basic Exact Fields Q
Z/pZ
Maximal value for prime p (if limited) Unlimited
Extension Fields simple algebraic extensions
algebraic extensions
transcendental extensions
Other Fields In principal, any field definable in Reduce

Monomial Orderings
classical well-orderings (Lex, DegLex, DegRevLex)
weighted well-orderings (WDegLex, WDegRevLex)
product (block) orderings
matrix-defined orderings
extra weight (elimination) orderings
local orderings
Other Ordering

Functionality Criteria

Ideals
Submodules of free modules

Gröbner Basis
Standard Basis

FGLM
Gröbner Walk/Fractal Walk

Hilbert-driven Gröbner Basis
Factorizing Gröbner Basis

Faugère F4
Faugère F5

Heuristic Command based on "BestChoice"

Other variants of the algorithm, computing Gröbner Bases
SAWS (experimental)

Product Criterion

Chain Criterion

Gebauer-Möller Criterion

Other
Graph component criterion

Elements of Gröbner Basics

Syzygies and resolutions

Lift (Transformation matrix between two bases)

Elimination

(Krull) dimension

Other none

Other functionality
Hilbert series

Highlights
Degreewise output of partial results